#ifndef KALLOC_H
#define KALLOC_H

void kvm_init();

void ph_alloc_init();
uint32_t ph_alloc();
void ph_dealloc(uint32_t ph_page);

#endif  // KALLOC_H